Indexical Hybrid Tense Logic
نویسندگان
چکیده
In this paper we explore the logic of now, yesterday, today and tomorrow by combining the semantic approach to indexicality pioneered by Hans Kamp [9] and refined by David Kaplan [10] with hybrid tense logic. We first introduce a special now nominal (our @now corresponds to Kamp’s original now operator N) and prove completeness results for both logical and contextual validity. We then add propositional constants to handle yesterday, today and tomorrow ; our system correctly treats sentences like “Niels will die yesterday” as contextually unsatisfiable. Building on our completeness results for now, we prove completeness for the richer language, again for both logical and contextual validity.
منابع مشابه
The Syntactic Expression of Tense Tim Stowell
2 Abstract In this article I defend the view that many central aspects of the semantics of tense are determined by independently-motivated principles of syntactic theory. I begin by decomposing tenses syntactically into a temporal ordering predicate (the true tense, on this approach) and two time-denoting arguments corresponding to covert a reference time (RT) argument and an eventuality time (...
متن کاملSession 2: Natural Language I
The first paper, by L. Schubert and C. Hwang, concentrated on compositionally defining the mapping between a sentence and an appropriate meaning representation that takes tense and aspect into account. In order to derive non-indexical formulae from indexical ones as a function of context, they make use of a novel type of context component, a tense tree which evolves throughout the discourse. Oc...
متن کاملInterpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach
We extend our theory of English tense aspect and time adverbials Hwang and Schubert to deal with a wider range of time adverbials including many adverbials of frequency cardinality duration and time span and adverbials of tempo ral relation involving subordinating conjunctions such as after since and until Our theory is fully formal in that it derives indexical quasi logical forms from syntacti...
متن کاملReichenbach, Prior and hybrid tense logic
In this paper we argue that Prior and Reichenbach are best viewed as allies, not antagonists. We do so by combining the central insights of Prior and Reichenbach in the framework of hybrid tense logic. This overcomes a well-known defect of Reichenbach’s tense schema, namely that it gives multiple representations to sentences in the future perfect and the future-in-the-past. It also makes it eas...
متن کاملThe Computational Complexity of Hybrid Temporal Logics
In their simplest form, hybrid languages are propositional modal languages which can refer to states. They were introduced by Arthur Prior, the inventor of tense logic, and played an important role in his work: because they make reference to specific times possible, they remove the most serious obstacle to developing modal approaches to temporal representation and reasoning. However very little...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012